target_sources(firmware PRIVATE semihosting.cpp)
